Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
771	General Principles of Software Validation; Final Guidance for Industry and FDA Staff Add to Reading List Source URL: www.fda.gov Language: English Science Validity Quality Formal methods Validation Verification and validation Medical device Software testing Design controls Technology Software development Pharmaceutical industry
772	Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces Mikhail Chupilko Alexander Kamkin Add to Reading List Source URL: rvg.web.cse.unsw.edu.au Language: English - Date: 2013-03-05 07:19:28 Models of computation Formal languages Symbol Mathematics
773	Model Checking Operator Procedures Wenhui Zhang Institute for Energy Technology, P.O.Box 173, N-1751 Halden, Norway [removed] Abstract. Operator procedures are documents telling operators what Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Formal methods Applied mathematics Logic in computer science Concurrency Concurrent computing Model checking Formal verification Promela Verification and validation Computing Theoretical computer science Model checkers
774	Prosecco Programming Securely with Cryptography A Project-Team Proposal Karthikeyan Bhargavan Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-03-14 05:31:34 Electronic commerce Public-key cryptography Cryptography standards Hardware security module Cryptographic primitive ProVerif Formal verification Secure channel Microsoft CryptoAPI Cryptography Cryptographic protocols Cryptographic software
775	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics
776	MAX FORMAL COMPANY “America’s #1 Name for Linens” Add to Reading List Source URL: www.maxformal.com Language: English - Date: 2009-11-23 01:40:34 Finance Foreign exchange companies Debits and credits Money American Express Address Verification System Authorization hold Credit cards Payment systems Business
777	Verification of solid state interlocking programs Phillip James, Andy Lawrence Faron Moller, Markus Roggenbach, Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2013-09-27 06:58:46 Propositional calculus Model theory Predicate logic Metalogic Ladder logic First-order logic Logic programming Formal verification Function Logic Mathematics Mathematical logic
778	Electronic Communications of the EASST No \volume defined! No \volumetitle defined! Verification of Railway Interlockings in Scade Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2012-10-25 14:18:24 Science Formal methods Technology Formal sciences Esterel Technologies Railway signalling Lustre Interlocking Model checking Hardware description languages Synchronous programming languages Electronic engineering
779	Verification of solid state interlocking programs Phillip James1 , Andy Lawrence1 , Faron Moller1 , Markus Roggenbach1 , Monika Seisenberger1 , Anton Setzer1 , Karim Kanso2 , and Simon Chadwick3 1 Swansea Railway Verifi Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-12-12 10:55:19 Propositional calculus Predicate logic Model theory Formal languages Ladder logic Model checking Logic programming First-order logic Interlocking Logic Mathematical logic Mathematics
780	THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2000-08-29 08:41:20 Systems engineering Theoretical computer science Diagrams Formal methods Binary decision diagram Model checking Formal verification Boolean function Verification Boolean algebra Mathematics Mathematical logic

UPDATE